A Complete Quasi-antiorder Is the Intersection of a Collection of Quasi-antiorders
نویسندگان
چکیده
Setting of this paper is Bishop's constructive mathematics. For a relation σ on a set with apartness is called quasi-antiorder if it is consistent and cotransitive. The quasi-antiorder σ is complete if holds . 0 1 / = σ σ − ∩ In this paper the following assertion ‘A quasi-antiorder is the intersection of a collection of quasi-antiorders.’ is given.
منابع مشابه
Some Characterizations of Filed Product of Quasi-antiorders
It is known that the filed product of two quasi-antiorders need not to be a quasi-antiorder. After some preparations, we give some sufficient conditions in order that the filed product of two quasi-antiorder relations on the same set is a quasi-antiorder again. 2000Mathematics Subject Classification: Primary 03F65, Secondary 04A05, 08A02
متن کاملA Note on the Quasi-antiorder in a Semigroup
Connections between quasi-antiorder on a semigroup with apartness and a naturally defined quasi-antiorder relation on factor semigroup (according to congruence and anti-congruence) are presented. AMS Mathematics Subject Classification (2000): 03F55, 20M99
متن کاملOn Regular Anti-congruence in Anti-ordered Semigroups
For an anti-congruence q we say that it is regular anti-congruence on semigroup (S,=, =, ·, α) ordered under anti-order α if there exists an antiorder θ on S/q such that the natural epimorphism is a reverse isotone homomorphism of semigroups. Anti-congruence q is regular if there exists a quasi-antiorder σ on S under α such that q = σ ∪ σ−1. Besides, for regular anti-congruence q on S, a constr...
متن کاملUniformly classical quasi-primary submodules
In this paper we introduce the notions of uniformly quasi-primary ideals and uniformly classical quasi-primary submodules that generalize the concepts of uniformly primary ideals and uniformly classical primary submodules; respectively. Several characterizations of classical quasi-primary and uniformly classical quasi-primary submodules are given. Then we investigate for a ring $R$, when any fi...
متن کاملFixed Point Theorems on Complete Quasi Metric Spaces Via C-class and A-Class Functions
In this paper, we present some fixed point theorems for single valued mappings on $K$-complete, $M$-complete and Symth complete quasi metric spaces. Here, for contractive condition, we consider some altering distance functions together with functions belonging to $C$-class and $A$-class. At the same time, we will consider two different type $M$ functions in contractive conditions because the qu...
متن کامل